1. Bounded arithmetic /
پدیدآورنده : Samuel R. Buss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Constructive mathematics
رده :
QA9
.
56
.
B87
1986
2. Bounded arithmetic
پدیدآورنده : Buss, Samuel R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constructive mathematics,، Computational complexity
رده :
QA
9
.
56
.
B87
1986
3. D computer graphics-3
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : dimensional display systems. ; -OpenGL. ; Computer graphics. ; Three
4. 3-D computer graphics
پدیدآورنده : / Samuel R. Buss
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer graphics,OpenGL,Three-dimensional display systems
رده :
T385
.
B8695
2003
5. 3-D computer graphics
پدیدآورنده : / Samuel R. Buss
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Computer graphics,OpenGL,Three-dimensional display systems
رده :
EB
,
T385
.
B86
2003
6. Feasible mathematics
پدیدآورنده : \ Samuel R. Buss, Philip J. Scott, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational complexity-- Congresses.,Mathematics-- Congresses.,پیچیدگی محاسباتی - کنگره ها
رده :
QA267
.
7
.
F43
1990
E-Book
,
7. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computational complexity-- Congresses,، Mathematics-- Congresses
رده :
QA
267
.
7
.
F43
1990
8. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده : Samuel R. Buss, Philip J. Scott, editors
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computational complexity - Congresses,Mathematics - Congresses
رده :
QA
.
F43
267
.
7
1990
9. Feasible mathematics : a mathematical sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده : Samuel R. Buss, Philop J. Scott, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Mathematics
رده :
QA
267
.
7
.
F43
1990
10. Handbook of proof theory
پدیدآورنده : edited by Samuel R. Buss
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
H2
11. Inorganic and organometallic polymers II :
پدیدآورنده : Patty Wisian-Neilson, editor, Harry R. Allcock, editor, Kenneth J. Wynne, editor
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Inorganic polymers, Congresses,Organometallic polymers, Congresses
رده :
QD196
.
I53
1994
12. Justice for all :
پدیدآورنده : edited by Norman J. Johnson and James H. Svara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Equality-- United States.,Social justice-- United States.,Social values-- United States.,United States, Economic policy, 2009-,United States, Social policy, 1993-, 0, 0
13. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
14. Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L64
1998
15. Papers presented at the Workshop on Feasible Mathematics :
پدیدآورنده : [Samuel R. Buss ... (eds.)].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Berechnungskomplexität.,Mathematik.
16. Papers presented at the Workshop on Feasible Mathematics :
پدیدآورنده : [Samuel R. Buss ... (eds.)].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Berechnungskomplexität.,Mathematik.
رده :
QA267
.
7
S268
1990